// (a>b) && (b>c) && (c>d)